Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
331	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
332	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics
333	The Benefits of Relaxing Punctuality RAJEEV ALUR Bell Labomtories, Murray Hill, New Jersey TOtiS Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:50:12 FO Linear temporal logic Mathematics If and only if Logic
334	Optiplan: Unifying IP-based and Graph-based Planning 1 Menkes van den Briel1 and Subbarao Kambhampati2 Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2004-04-09 17:26:05 Elementary mathematics Logic in computer science Planning Domain Definition Language Fluent Linear programming relaxation Function Variable STRIPS Mathematics Artificial intelligence Automated planning and scheduling
335	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
336	Online Client-Server Load Balancing Without Global Information Baruch Awerbuch ∗ Mohammad T. Hajiaghayi † Abstract Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2007-10-09 11:18:46 Combinatorial optimization Maximum flow problem Network flow Matching Linear programming Combinatory logic Tree decomposition Theoretical computer science Mathematics Graph theory
337	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
338	Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:45:43 Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic
339	A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:27:00 Logic in computer science Theoretical computer science Decision theory Linear temporal logic Temporal logic Preference Planning Domain Definition Language Fluent Utility Logic Automated planning and scheduling Mathematical logic
340	Flexible Execution of Partial Order Plans With Temporal Constraints Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-11-29 11:25:30 Planning Domain Definition Language Runtime verification Coordination Linear temporal logic Modal logic Temporal logic Logic Philosophical logic Automated planning and scheduling

UPDATE